#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define linemax 114514
#define stackmax 1024

int main()
{
    
    char line[linemax];
    while(gets(line)!=NULL)
    {
        char oplist[stackmax]={'\0'},str;
        int optop=-1,j=0,temp=0;
        for(j;j!=strlen(line);++j)
        {
            str=line[j];
            if(str==' '&&temp!=0)
            {
                printf("%d ",temp);
                temp=0;
            }
            else if((str>='a'&&str<='z'))
            {
                printf("%c ",str);
            }
            else if((str>='0'&&str<='9'))
            {
                temp=temp*10+(str-'0');
            }
            else
            {
                switch(str)
                {
                    case '(':
                    oplist[++optop]=str;
                    break;
                    case ')':
                    while(oplist[optop]!='(')
                    {
                        printf("%c ",oplist[optop--]);
                    }
                    optop-=1;
                    break;
                    case '+':
                    case '-':
                    while(optop!=-1&&oplist[optop]!='(')
                        printf("%c ",oplist[optop--]);
                    oplist[++optop]=str;
                    break;
                    case '*':
                    case '/':
                    while(optop!=-1&&(oplist[optop]=='*'||oplist[optop]=='/')&&oplist[optop]!='(')
                        printf("%c ",oplist[optop--]);
                    oplist[++optop]=str;
                    break;
                    
                }
            }
        }
        while(optop!=-1&&oplist[optop]!='(') printf("%c ",oplist[optop--]);
        printf("\n");
    }
    
    system("pause");
    return 0;
}